home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / La+Fa=Sol < prev    next >
Text File  |  1994-06-24  |  442b  |  32 lines
  1. {PROBLEM: LA+FA=SOL all differents, no non significative letters}
  2. (c)
  3.  
  4. ;;;Variables
  5. (r s l a f o)
  6.  
  7. ;;;Constraints
  8. ((<>? l 0)
  9.  (<>? f 0)
  10.  (<>? s 0)
  11.  (<>? s l)
  12.  (<>? s a)
  13.  (<>? s f)
  14.  (<>? s o)
  15.  (<>? l a)
  16.  (<>? l f)
  17.  (<>? l o)
  18.  (<>? a f)
  19.  (<>? a o)
  20.  (<>? f o)
  21.  (=? (+ a a) (+ l (* 10 r)))
  22.  (=? (+ r (+ l f)) (+ o (* s 10))))
  23.  
  24. :::Domains
  25. ((0 1)
  26.  (0 1)
  27.  (0 1 2 3 4 5 6 7 8 9)
  28.  (0 1 2 3 4 5 6 7 8 9)
  29.  (0 1 2 3 4 5 6 7 8 9)
  30.  (0 1 2 3 4 5 6 7 8 9))
  31.  
  32.